Nuprl Definition : not 11,40
A == A  False 
latex

DefinitionsA, P  Q, False
FDL editor aliasesnot

origin